#include "init.h"
#include "print.h"
#include "interrupt.h"
#include "../device/timer.h"
#include "memory.h"
#include "../thread/thread.h"

void init_all(void)
{
	idt_init();

	memory_init();
	
	thread_init();
	
	timer_init();
	
	print_string("init_all done\n");
}
